A Mathematica q - Analogue
نویسندگان
چکیده
Mathematica implementations, available by email request, of q-analogues of Gosper's and Zeilberger's algorithm are described. Nontrivial examples are given in order to illustrate the usage of these packages. The algorithms are based on a new approach to q-hypergeometric telescoping in which a new algebraic concept, q-greatest factorial factorization (qGFF), plays a fundamental role.
منابع مشابه
A MATHEMATICA PACKAGE FOR q-HOLONOMIC SEQUENCES AND POWER SERIES
We describe a Mathematica package for dealing with q-holonomic sequences and power series. The package is intended as a q-analogue of the Maple package gfun and the Mathematica package GeneratingFunctions. It provides commands for addition, multiplication, and substitution of these objects, for converting between various representations (q-differential equations, q-recurrence equations, q-shift...
متن کاملA Mathematica q-Analogue of Zeilberger’s Algorithm Based on an Algebraically Motivated Approach to q-Hypergeometric Telescoping
Mathematica implementations, available by email request, of q-analogues of Gosper’s and Zeilberger’s algorithm are described. Nontrivial examples are given in order to illustrate the usage of these packages. The algorithms are based on a new approach to q-hypergeometric telescoping in which a new algebraic concept, q-greatest factorial factorization (qGFF), plays a fundamental role.
متن کاملFormulæ related to the \(q\) -Dixon formula with applications to Fibonomial sums
The q-analogue of Dixon’s identity involves three q-binomial coefficients as summands. We find many variations of it that have beautiful corollories in terms of Fibonomial sums. Proofs involve either several instances of the q-Dixon formula itself or are “mechanical,” i. e., use the q-Zeilberger algorithm
متن کاملA Short Bibliography for Symbolic Summation
A foundation for computer science. [10] Peter Paule and Axel Riese. A Mathematica q-analogue of Zeilberger's algorithm based on an algebraically motivated approach to q-hypergeometric telescoping. [11] Peter Paule and Carsten Schneider. Computer proofs of a new family of harmonic number identities.
متن کاملanQCD: A Mathematica package for calculations in general analytic QCD models (new version announcement)
We provide a Mathematica package that evaluates the QCD analytic couplings (in the Euclidean domain) Aν(Q), which are analytic analogs of the powers a(Q) of the underlying perturbative QCD (pQCD) coupling a(Q) ≡ αs(Q)/π, in three analytic QCD models (anQCD): Fractional Analytic Perturbation Theory (FAPT), Two-delta analytic QCD (2δanQCD), and Massive Perturbation Theory (MPT). The analytic (hol...
متن کامل